|
|
|
| e-Pub |
Previous | 
Home
Section: New Results
Highlights of the Year
The papers [4] and [6] are published in journals (Software Testing Verification and Analisys, resp. Formal Aspects of Computing) that are among the best in their respective fields.
Overall Objectives
Research Program
New Software and Platforms
New Results
- Highlights of the Year
- HoMade
- HiHope : A higher level language for the HoMade processor
- Integrating Profiling into MDE Compilers
- Language-Independent Symbolic Execution, Program Equivalence, and Program Verification
- Hardware chain for partial reconfiguration
- Generic pixel distribution for parallel video processing application
- Massively Parallel Dynamically Reconfigurable Multi-FPGA
- HoMade-based MPSoC
- Communication-Computation Overlap in Massively Parallel System-on-Chip
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography